1. Assurances for self-adaptive systems
پدیدآورنده : Javier Cámara...[et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Adaptive computing systems,Computer software-- Verification,Self-adaptive software
رده :
QA76
.
76
.
S375
A87
2013
2. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : Andrews, Jason R.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip
رده :
TK
7874
.
A595
2005
3. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : / by Jason R. Andrews
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
E-BOOK
4. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : / by Jason R. Andrews
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
TK7874
.
A595
2005
5. Embedded software verification and debugging
پدیدآورنده : Djones Lettnin, Markus Winterholer, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer software -- Verification,، Debugging in computer science,، Embedded computer systems
رده :
QA
76
.
76
.
V47E46
6. Formal system verification : state-of-the-art and future trends
پدیدآورنده : Rolf Drechsler, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer systems -- Verification,، Computer software -- Verification,، Integrated circuits -- Verification,، Electronic systems
رده :
QA
76
.
76
.
V47F6
7. Hardware and software, verification and testing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;
8. Industrial use of formal methods
پدیدآورنده : edited by Jean-Louis Boulanger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation.,Computer software-- Verification.,Formal methods (Computer science),Nondestructive testing.,Systems engineering-- Data processing.
رده :
TA168
.
I45
2012eb
9. Model Checking and Artificial Intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Artificial intelligence ; Congresses. ; K?nstliche Intelligenz ; Model Checking ; Kongress ; Patras <2008> ; Model Checking. ; swd. ;
10. Model checking and artificial intelligence :
پدیدآورنده : Ron van der Meyden, Jan-Georg Smaus (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Computer software-- Verification, Congresses,Computer systems-- Verification, Congresses
رده :
QA76
.
76
.
V47
M63
2011
11. Open source identity management patterns and practices using openAM 10.x
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems-- Verification,Identification-- Computer programs,Online identities,Open source software
رده :
GN192
K466564
2013
12. Principles of model checking
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer systems ; Verification. ; Computer software ; Verification. ;
13. Specification and verification of multi-agent systems /
پدیدآورنده : Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Verification.,Multiagent systems.
رده :
QA76
.
76
.
I58
S64
2010
14. Systems and software verification :
پدیدآورنده : B. Bérard [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software -- Verification.,Computer systems -- Verification.
رده :
QA76
.
76
.
V47
B347
2011
15. Systems and software verification: model-checking techniques and tools
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer systems-- Verification,، Computer software-- Verification
رده :
QA
76
.
76
.
V47
.
S97
2001
16. Systems and software verification : model-checking techniques and tools
پدیدآورنده : B. Berard ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Vertification ، Computer systems,، Computer software -- Verification
رده :
QA
76
.
76
.
V47S97
17. Unfoldings: a partial-order approach to model checking
پدیدآورنده : Esparza, Javier
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Testing ، Computer software,Verification ، Computer systems
رده :
QA
76
.
76
.
T48E87
2008
18. Validation and verification of knowledge based systems :
پدیدآورنده : edited by Anca Vermesan and Frans Coenen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
19. Verification and validation of rule-based expert systems]CD[
پدیدآورنده : Smith, Suzanne, Suzanne Smith, Abraham Kandel
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Expert systems )Computer science(,Verification ، Computer software,Validation ، Computer software
رده :
CD
1748-83
20. Verification and validation of rule-based expert systems
پدیدآورنده : / Suzanne Smith, Abraham Kandel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Expert systems (Computer science),Computer software- Verification,Computer software- Validation
رده :
QA76
.
76
.
E95
,
S66
1993
